Real Number Computability and Domain Theory

A domain - theoretic approach to computabilityon the real line 1

In recent years, there has been a considerable amount of work on using continuous domains in real analysis. Most notably are the development of the generalized Riemann integral with applications in fractal geometry, several extensions of the programming language PCF with a real number data type, and a framework and an implementation of a package for exact real number arithmetic. Based on recurs...

A Domain-Theoretic Approach to Computability on the Real Line

In recent years, there has been a considerable amount of work on using continuous domains in real analysis. Most notably are the development of the generalized Riemann integral with applications in fractal geometry, several extensions of the programming language PCF with a real number data type, and a framework and an implementation of a package for exact real number arithmetic. Based on recurs...

Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory

On the equivalence of some approaches to computability on the real line

There have been many suggestions for what should be a computable real number or function. Some of them exhibited pathological properties. At present, research concentrates either on an application of Weihrauch’s Type Two Theory of Effectivity or on domain-theoretic approaches, in which case the partial objects appearing during computations are made explicit. A further, more analysis-oriented li...

A Functional Approach to Computability on Real Numbers

The aim of this thesis is to contribute to close the gap existing between the theory of computable analysis and actual computation. In order to study computability over real numbers we use several tools peculiar to the theory of programming languages. In particular we introduce a special kind of typed lambda calculus as an appropriate formalism for describing computations on real numbers. Furth...